If the 'sched' parameter is unrecognized, choose the first scheduler

Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>

diff --git a/xen/common/schedule.c b/xen/common/schedule.c
index 600baeac05ef434450741553bc7bbe7244bb871e..3b4be55d79ba2f8a841ba68a97cb039259492736 100644 (file)
--- a/xen/common/schedule.c
+++ b/xen/common/schedule.c
@@ -929,7 +929,10 @@ void __init scheduler_init(void)
     }
     
     if ( schedulers[i] == NULL )
+    {
         printk("Could not find scheduler: %s\n", opt_sched);
+        ops = *schedulers[0];
+    }
 
     printk("Using scheduler: %s (%s)\n", ops.name, ops.opt_name);
     SCHED_OP(init);